Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
271	Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State Jan Schwinghammer (Saarland University, Saarbr¨ ucken) Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-01-05 06:52:11 Model theory Modal logic Denotational semantics Logic in computer science Kripke semantics Structure Natural deduction Orbifold Logic Mathematical logic Mathematics
272	Abstracta SPECIAL ISSUE VI, pp. 6 – 32, 2012 FAITH IN OTHERS1 Guy Longworth Add to Reading List Source URL: www.abstracta.pro.br Language: English - Date: 2013-11-01 19:08:07 Belief Immanuel Kant Knowledge Truth Theory of justification Faith Reformed epistemology Epistemic modal logic Philosophy Epistemology Justification
273	Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-05 13:01:30 Proof theory Non-classical logic Philosophical logic Logical syntax Computer security Modal logic Mathematical proof Linear logic Formal verification Logic Mathematics Logic in computer science
274	Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1 Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:58 Modal logic Model theory Symbol Kripke semantics Epistemic modal logic Interpretation Dynamical system Logic Mathematical logic Philosophical logic
275	A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:12:30 Deduction Philosophy of language Model theory Natural deduction Modal logic Sheaf Interpretation Entailment Formal semantics Logic Philosophical logic Semantics
276	Table of Contents Foreword ..............................................................................................................................................1 1. Introduction.................................. Add to Reading List Source URL: agora.metaphysica.skaut.org Language: English - Date: 2002-11-18 13:27:44 Modal logic Philosophical logic Possibility Non-classical logic Empiricism Possible world Entailment A priori and a posteriori Intensional logic Logic Philosophy Mathematical logic
277	The Relative Pruning Power of Strong Stubborn Sets and Expansion Core Martin Wehrle and Malte Helmert ¨ Yusra Alkhazraji and Robert Mattmuller Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-04-30 16:52:25 FO Finite model theory Big O notation Operator Assignment Modal logic Linguistics Logic Mathematics Mathematical notation
278	Evidential Symmetry and Mushy Credence Roger White MIT draft 4/07 The Principle of Indifference (a. k. a. Principle of Insufficient Reason) instructs us to Add to Reading List Source URL: www.fitelson.org Language: English - Date: 2008-05-21 16:56:39 New Zealand culture Poi spinning Hawaiian cuisine Poi Evidentialism Principle of indifference Evidentiality Modal logic Entertainment Personal life Logic
279	Abstracta SPECIAL ISSUE VI, pp. 117 – 137, 2012 REPLIES Paul Faulkner Add to Reading List Source URL: www.abstracta.pro.br Language: English - Date: 2013-11-01 19:08:07 Ethics Belief Internalism and externalism Modal logic Trust Theory of justification Doxastic logic Externalism Faith Philosophy Epistemology Justification
280	NetKAT: Semantic Foundations for Networks Carolyn Jane Anderson Swarthmore College ∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-11-14 14:04:02 Model theory Secure Shell Modal logic Interpretation Kleene algebra Logic Mathematical logic Formal languages

UPDATE